王浩（Hao Wang，1921年5月20日—1995年5月13日），出生于山东省济南市，祖籍山东省德州市齐河县，华裔美国人，数学家，哲学家，逻辑学家，计算机科学家，美国艺术与科学院院士，洛克菲勒大学荣休教授。王浩的学术生涯横跨数学、数理逻辑、哲学和计算机科学多个领域，是金岳霖、 奎因、哥德尔的嫡传，“图灵奖”获得者库克的导师。王浩一生发表100多篇论文。主要著作有：《A Logical Journey: From Gödel to Philosophy》、《A Survey of Mathematical Logic》、《Beyond Analytic Philosophy: Doing Justice to What We Know》、《Computation, Logic, Philosophy: A Collection of Essay》、...(展开全部)

王浩（Hao Wang，1921年5月20日—1995年5月13日），出生于山东省济南市，祖籍山东省德州市齐河县，华裔美国人，数学家，哲学家，逻辑学家，计算机科学家，美国艺术与科学院院士，洛克菲勒大学荣休教授。王浩的学术生涯横跨数学、数理逻辑、哲学和计算机科学多个领域，是金岳霖、 奎因、哥德尔的嫡传，“图灵奖”获得者库克的导师。王浩一生发表100多篇论文。主要著作有：《A Logical Journey: From Gödel to Philosophy》、《A Survey of Mathematical Logic》、《Beyond Analytic Philosophy: Doing Justice to What We Know》、《Computation, Logic, Philosophy: A Collection of Essay》、...(展开全部)

Α.Я.辛钦（1894－1959） 前苏联数学家、数学教育家。现代概率论的奠基人之一，莫斯科概率学派的开创者。1939年当选为苏联科学院通讯院士，1944年当选为俄罗斯教育科学院院士。他1941年获前苏联国家奖金，并多次获列宁勋章、劳动红旗勋章、荣誉勋章等奖章。辛钦共发表150多篇数学及数学史论著，在函数的度量理论、数论、概率论、信息论等方面都有重要的研究成果。在数学中以他的名字命名的有：辛钦定理、辛钦不等式、辛钦积分、辛钦条件、辛钦可积函数、辛钦转换原理、辛钦单峰性准则，等等。

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unus...(展开全部)

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstro...(展开全部)

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is subsequently developed wit...(展开全部)

Explores additional important decidability results in this thoroughly updated new edition Introduces mathematical logic by analyzing foundational questions on proofs and provability in mathematics Highlights the capabilities and limitations of algorithms and proof methods both in mathematics and computer science Examines advanced topics, such as linking logic with computability...(展开全部)

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities. Part I offers an elementary but thorough overview of mathematical logic of first order. Part II introduces some of the newer ideas and the more profound results of logical research in the twentieth centur...(展开全部)

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstro...(展开全部)